2.2.4 Integrals 301 to 393

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 51 93 62 107 308 0 0 0

N.S.

1 0.53 0.97 0.65 1.11 3.21 0.00 0.00 0.00

time (sec)

N/A 0.397 0.407 10.192 0.454 0.355 0.000 0.000 0.000

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 51 60 71 147 316 0 0 0

N.S.

1 0.53 0.62 0.74 1.53 3.29 0.00 0.00 0.00

time (sec)

N/A 0.407 0.063 10.336 0.448 0.354 0.000 0.000 0.000

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 78 69 131 813 240 0 0 0

N.S.

1 0.68 0.61 1.15 7.13 2.11 0.00 0.00 0.00

time (sec)

N/A 0.513 0.119 10.290 0.516 0.306 0.000 0.000 0.000

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 106 88 140 1044 272 0 0 0

N.S.

1 0.68 0.56 0.90 6.69 1.74 0.00 0.00 0.00

time (sec)

N/A 0.634 0.191 9.883 0.687 0.317 0.000 0.000 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 121 111 213 2732 308 0 0 0

N.S.

1 0.61 0.56 1.08 13.80 1.56 0.00 0.00 0.00

time (sec)

N/A 0.649 0.218 10.036 0.629 0.327 0.000 0.000 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 141 109 137 185 331 0 411 144

N.S.

1 0.59 0.45 0.57 0.77 1.37 0.00 1.71 0.60

time (sec)

N/A 0.631 0.642 8.918 0.521 0.323 0.000 5.823 3.596

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 114 92 117 140 303 0 0 94

N.S.

1 0.57 0.46 0.59 0.70 1.52 0.00 0.00 0.47

time (sec)

N/A 0.523 1.270 8.345 0.504 0.326 0.000 0.000 1.138

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 97 75 86 94 263 0 0 73

N.S.

1 0.63 0.48 0.55 0.61 1.70 0.00 0.00 0.47

time (sec)

N/A 0.361 1.197 9.717 0.532 0.302 0.000 0.000 0.792

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 67 61 66 71 227 0 0 57

N.S.

1 0.50 0.45 0.49 0.53 1.68 0.00 0.00 0.42

time (sec)

N/A 0.216 0.118 10.057 0.493 0.307 0.000 0.000 1.392

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 53 93 64 111 316 0 0 0

N.S.

1 0.52 0.91 0.63 1.09 3.10 0.00 0.00 0.00

time (sec)

N/A 0.393 0.505 9.067 0.480 0.329 0.000 0.000 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 53 60 73 151 324 0 0 0

N.S.

1 0.52 0.59 0.72 1.48 3.18 0.00 0.00 0.00

time (sec)

N/A 0.388 0.084 9.743 0.495 0.343 0.000 0.000 0.000

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 80 69 133 873 250 0 0 0

N.S.

1 0.67 0.58 1.11 7.28 2.08 0.00 0.00 0.00

time (sec)

N/A 0.499 0.136 10.110 0.554 0.318 0.000 0.000 0.000

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 108 87 142 1112 286 0 0 0

N.S.

1 0.66 0.53 0.87 6.78 1.74 0.00 0.00 0.00

time (sec)

N/A 0.620 0.322 9.240 0.624 0.326 0.000 0.000 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 123 110 215 2972 326 0 0 0

N.S.

1 0.59 0.53 1.03 14.29 1.57 0.00 0.00 0.00

time (sec)

N/A 0.653 0.258 10.133 0.646 0.333 0.000 0.000 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 111 92 114 116 282 0 0 140

N.S.

1 0.60 0.50 0.62 0.63 1.53 0.00 0.00 0.76

time (sec)

N/A 0.513 0.779 9.503 0.546 0.325 0.000 0.000 3.126

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 94 75 83 80 242 0 0 107

N.S.

1 0.66 0.52 0.58 0.56 1.69 0.00 0.00 0.75

time (sec)

N/A 0.348 0.598 9.458 0.487 0.325 0.000 0.000 1.489

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 64 61 63 64 218 184 0 93

N.S.

1 0.52 0.50 0.51 0.52 1.77 1.50 0.00 0.76

time (sec)

N/A 0.211 0.073 10.156 0.467 0.296 15.793 0.000 1.059

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 50 93 61 104 309 0 0 0

N.S.

1 0.54 1.00 0.66 1.12 3.32 0.00 0.00 0.00

time (sec)

N/A 0.388 0.293 9.769 0.467 0.344 0.000 0.000 0.000

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 50 60 70 149 317 0 0 0

N.S.

1 0.54 0.65 0.75 1.60 3.41 0.00 0.00 0.00

time (sec)

N/A 0.400 0.049 9.813 0.456 0.330 0.000 0.000 0.000

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 77 69 130 785 239 0 0 0

N.S.

1 0.69 0.62 1.17 7.07 2.15 0.00 0.00 0.00

time (sec)

N/A 0.500 0.090 10.115 0.533 0.319 0.000 0.000 0.000

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 105 87 139 1014 271 0 0 0

N.S.

1 0.69 0.57 0.91 6.67 1.78 0.00 0.00 0.00

time (sec)

N/A 0.623 0.233 9.822 0.488 0.313 0.000 0.000 0.000

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 120 110 212 2611 305 0 0 0

N.S.

1 0.62 0.57 1.10 13.53 1.58 0.00 0.00 0.00

time (sec)

N/A 0.648 0.195 10.164 0.573 0.320 0.000 0.000 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 114 92 117 116 282 0 0 140

N.S.

1 0.57 0.46 0.59 0.58 1.42 0.00 0.00 0.70

time (sec)

N/A 0.540 0.936 10.024 0.652 0.319 0.000 0.000 3.043

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 97 75 86 80 242 0 0 107

N.S.

1 0.63 0.48 0.55 0.52 1.56 0.00 0.00 0.69

time (sec)

N/A 0.351 0.724 9.321 0.508 0.307 0.000 0.000 1.280

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 67 61 66 64 218 0 0 93

N.S.

1 0.50 0.45 0.49 0.47 1.61 0.00 0.00 0.69

time (sec)

N/A 0.227 0.095 10.339 0.476 0.312 0.000 0.000 0.904

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 53 48 64 104 309 0 0 0

N.S.

1 0.52 0.47 0.63 1.02 3.03 0.00 0.00 0.00

time (sec)

N/A 0.398 0.399 10.441 0.457 0.372 0.000 0.000 0.000

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 53 60 73 157 317 0 0 0

N.S.

1 0.52 0.59 0.72 1.54 3.11 0.00 0.00 0.00

time (sec)

N/A 0.401 0.052 9.890 0.490 0.358 0.000 0.000 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 80 69 133 802 239 0 0 0

N.S.

1 0.67 0.58 1.11 6.68 1.99 0.00 0.00 0.00

time (sec)

N/A 0.502 0.096 9.659 0.509 0.310 0.000 0.000 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 108 87 142 1048 271 0 0 0

N.S.

1 0.66 0.53 0.87 6.39 1.65 0.00 0.00 0.00

time (sec)

N/A 0.630 0.212 8.705 0.518 0.325 0.000 0.000 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 123 110 215 2660 305 0 0 0

N.S.

1 0.59 0.53 1.03 12.79 1.47 0.00 0.00 0.00

time (sec)

N/A 0.652 0.171 9.451 0.569 0.309 0.000 0.000 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 114 95 117 116 282 0 0 140

N.S.

1 0.57 0.48 0.59 0.58 1.42 0.00 0.00 0.70

time (sec)

N/A 0.533 1.215 9.107 0.530 0.316 0.000 0.000 2.589

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 97 78 86 80 242 0 0 107

N.S.

1 0.63 0.50 0.55 0.52 1.56 0.00 0.00 0.69

time (sec)

N/A 0.352 0.795 9.405 0.499 0.299 0.000 0.000 1.352

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 67 64 66 64 218 0 0 93

N.S.

1 0.50 0.47 0.49 0.47 1.61 0.00 0.00 0.69

time (sec)

N/A 0.219 0.100 10.164 0.474 0.309 0.000 0.000 0.993

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 53 53 64 104 309 0 0 0

N.S.

1 0.52 0.52 0.63 1.02 3.03 0.00 0.00 0.00

time (sec)

N/A 0.389 0.424 10.013 0.457 0.357 0.000 0.000 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 53 60 73 157 317 0 0 0

N.S.

1 0.52 0.59 0.72 1.54 3.11 0.00 0.00 0.00

time (sec)

N/A 0.402 0.056 10.511 0.463 0.354 0.000 0.000 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 80 69 134 820 239 0 0 0

N.S.

1 0.67 0.58 1.12 6.83 1.99 0.00 0.00 0.00

time (sec)

N/A 0.501 0.104 10.065 0.531 0.323 0.000 0.000 0.000

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 108 87 142 1098 271 0 0 0

N.S.

1 0.66 0.53 0.87 6.70 1.65 0.00 0.00 0.00

time (sec)

N/A 0.620 0.242 9.528 0.516 0.298 0.000 0.000 0.000

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 123 110 215 2760 305 0 0 0

N.S.

1 0.59 0.53 1.03 13.27 1.47 0.00 0.00 0.00

time (sec)

N/A 0.641 0.216 9.265 0.578 0.345 0.000 0.000 0.000

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 161 117 0 0 0 0 0 0

N.S.

1 1.05 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.526 0.210 0.000 0.000 0.000 0.000 0.000 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 157 121 0 0 0 0 0 0

N.S.

1 1.02 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.474 0.446 0.000 0.000 0.000 0.000 0.000 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

148 159 122 0 0 0 0 0 0

N.S.

1 1.07 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.544 0.376 0.000 0.000 0.000 0.000 0.000 0.000

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

147 156 116 0 0 0 0 0 0

N.S.

1 1.06 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.575 0.243 0.000 0.000 0.000 0.000 0.000 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

145 157 123 0 0 0 0 0 0

N.S.

1 1.08 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.576 0.156 0.000 0.000 0.000 0.000 0.000 0.000

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 159 123 0 0 0 0 0 0

N.S.

1 1.05 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.569 0.142 0.000 0.000 0.000 0.000 0.000 0.000

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 161 117 0 0 0 0 0 0

N.S.

1 1.05 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.535 0.246 0.000 0.000 0.000 0.000 0.000 0.000

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 157 114 0 0 0 0 0 0

N.S.

1 1.02 0.74 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.480 0.197 0.000 0.000 0.000 0.000 0.000 0.000

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

148 159 121 0 0 0 0 0 0

N.S.

1 1.07 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.537 0.420 0.000 0.000 0.000 0.000 0.000 0.000

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

145 157 122 0 0 0 0 0 0

N.S.

1 1.08 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.567 0.569 0.000 0.000 0.000 0.000 0.000 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

145 157 117 0 0 0 0 0 0

N.S.

1 1.08 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.559 0.162 0.000 0.000 0.000 0.000 0.000 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 159 124 0 0 0 0 0 0

N.S.

1 1.05 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.576 0.137 0.000 0.000 0.000 0.000 0.000 0.000

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 161 133 0 0 0 0 0 0

N.S.

1 1.05 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.536 0.873 0.000 0.000 0.000 0.000 0.000 0.000

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 161 124 0 0 0 0 0 0

N.S.

1 1.05 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.514 0.023 0.000 0.000 0.000 0.000 0.000 0.000

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 157 121 0 0 0 0 0 0

N.S.

1 1.02 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.464 0.155 0.000 0.000 0.000 0.000 0.000 0.000

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 154 116 0 0 0 0 0 0

N.S.

1 1.03 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.537 0.392 0.000 0.000 0.000 0.000 0.000 0.000

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

145 157 116 0 0 0 0 0 0

N.S.

1 1.08 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.548 0.416 0.000 0.000 0.000 0.000 0.000 0.000

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 159 118 0 0 0 0 0 0

N.S.

1 1.07 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.538 0.179 0.000 0.000 0.000 0.000 0.000 0.000

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 161 122 0 0 0 0 0 0

N.S.

1 1.05 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.491 0.231 0.000 0.000 0.000 0.000 0.000 0.000

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 161 122 0 0 0 0 0 0

N.S.

1 1.05 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.500 0.222 0.000 0.000 0.000 0.000 0.000 0.000

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 161 124 0 0 0 0 0 0

N.S.

1 1.05 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.490 0.016 0.000 0.000 0.000 0.000 0.000 0.000

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 152 115 0 0 0 0 0 0

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.482 0.148 0.000 0.000 0.000 0.000 0.000 0.000

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

147 155 115 0 0 0 0 0 0

N.S.

1 1.05 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.537 0.023 0.000 0.000 0.000 0.000 0.000 0.000

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 159 118 0 0 0 0 0 0

N.S.

1 1.07 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.556 0.157 0.000 0.000 0.000 0.000 0.000 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

232 218 178 0 0 0 0 0 0

N.S.

1 0.94 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.639 0.497 0.000 0.000 0.000 0.000 0.000 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

229 217 175 0 0 0 0 0 0

N.S.

1 0.95 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.636 0.351 0.000 0.000 0.000 0.000 0.000 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

229 217 175 0 0 0 0 0 0

N.S.

1 0.95 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.601 0.334 0.000 0.000 0.000 0.000 0.000 0.000

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

229 217 175 0 0 0 0 0 0

N.S.

1 0.95 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.626 0.342 0.000 0.000 0.000 0.000 0.000 0.000

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

227 215 173 0 0 0 0 0 0

N.S.

1 0.95 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.634 0.331 0.000 0.000 0.000 0.000 0.000 0.000

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A F F F F F F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

235 0 175 0 0 0 0 0 0

N.S.

1 0.00 0.74 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.395 0.000 0.000 0.000 0.000 0.000 0.000

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

227 219 157 0 0 0 0 0 0

N.S.

1 0.96 0.69 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.651 0.335 0.000 0.000 0.000 0.000 0.000 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

187 188 153 0 0 0 0 0 0

N.S.

1 1.01 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.581 0.253 0.000 0.000 0.000 0.000 0.000 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

187 188 151 0 0 0 0 0 0

N.S.

1 1.01 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.570 0.233 0.000 0.000 0.000 0.000 0.000 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

187 184 144 0 0 0 0 0 0

N.S.

1 0.98 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.518 0.230 0.000 0.000 0.000 0.000 0.000 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

170 175 138 0 0 0 0 0 0

N.S.

1 1.03 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.561 0.389 0.000 0.000 0.000 0.000 0.000 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

173 182 130 0 0 0 0 0 0

N.S.

1 1.05 0.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.608 0.568 0.000 0.000 0.000 0.000 0.000 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

194 195 150 0 0 0 0 0 0

N.S.

1 1.01 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.650 0.243 0.000 0.000 0.000 0.000 0.000 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

196 195 150 0 0 0 0 0 0

N.S.

1 0.99 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.663 0.236 0.000 0.000 0.000 0.000 0.000 0.000

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

223 215 173 0 0 0 0 0 0

N.S.

1 0.96 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.655 0.294 0.000 0.000 0.000 0.000 0.000 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

223 215 173 0 0 0 0 0 0

N.S.

1 0.96 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.617 0.311 0.000 0.000 0.000 0.000 0.000 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

221 213 171 0 0 0 0 0 0

N.S.

1 0.96 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.608 0.303 0.000 0.000 0.000 0.000 0.000 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

217 214 166 0 0 0 0 0 0

N.S.

1 0.99 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.629 0.310 0.000 0.000 0.000 0.000 0.000 0.000

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

221 213 173 0 0 0 0 0 0

N.S.

1 0.96 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.639 0.307 0.000 0.000 0.000 0.000 0.000 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

223 215 173 0 0 0 0 0 0

N.S.

1 0.96 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.644 0.312 0.000 0.000 0.000 0.000 0.000 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

183 185 376 0 0 0 0 0 0

N.S.

1 1.01 2.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.715 1.923 0.000 0.000 0.000 0.000 0.000 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

144 154 137 0 0 0 0 0 0

N.S.

1 1.07 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.640 0.990 0.000 0.000 0.000 0.000 0.000 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

144 154 0 0 0 0 0 0 0

N.S.

1 1.07 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.626 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

144 151 105 0 0 0 0 0 0

N.S.

1 1.05 0.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.641 0.813 0.000 0.000 0.000 0.000 0.000 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

144 148 0 0 0 0 0 0 0

N.S.

1 1.03 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.642 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

290 292 296 0 0 0 0 0 0

N.S.

1 1.01 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.713 3.199 0.000 0.000 0.000 0.000 0.000 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

290 292 294 0 0 0 0 0 0

N.S.

1 1.01 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.654 3.068 0.000 0.000 0.000 0.000 0.000 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

287 289 268 0 0 0 0 0 0

N.S.

1 1.01 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.661 2.413 0.000 0.000 0.000 0.000 0.000 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

286 288 266 0 0 0 0 0 0

N.S.

1 1.01 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.663 2.343 0.000 0.000 0.000 0.000 0.000 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

215 215 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.586 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

303 303 16142 0 0 0 0 0 0

N.S.

1 1.00 53.27 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.701 26.978 0.000 0.000 0.000 0.000 0.000 0.000